Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
851	cKanren miniKanren with Constraints Claire E. Alvis, Jeremiah J. Willcock, Kyle M. Carter, William E. Byrd, Daniel P. Friedman {calvis, jewillco, kylcarte, webyrd, dfried}@cs.indiana.edu Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Logic programming Formal methods Computer programming Lambda calculus Constraint logic programming Conditional Computing Software engineering
852	Formal Aspects of Computing: 1{000 c 1997 BCS Limits of Formal Methods Ralf Kneuper Add to Reading List Source URL: www.kneuper.de Language: English - Date: 2012-02-09 04:37:54 Theoretical computer science Science Formal languages Correctness Compiler construction Automated proof checking Formal proof Compiler Software development process Formal methods Mathematics Logic
853	A UTP semantics for Circus Marcel Oliveira1 , Ana Cavalcanti2 , and Jim Woodcock2 1 Departamento 2 Department de Inform´ Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Logic in computer science Programming language semantics Process calculi Process calculus Denotational semantics Divergence Formal methods Ease Trace Computing Theoretical computer science Software engineering
854	Theoretical Computer Science – 366 www.elsevier.com/locate/tcs Adapting innocent game models for the B#ohm tree -theory Andrew D. Ker, Hanno Nickau∗ , C.-H. Luke Ong Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-08-03 11:40:10 Mathematical logic Theory of computation Models of computation Formal methods Lambda calculus Computable function Determinacy Numbering Function Computability theory Mathematics Theoretical computer science
855	Learning proofs from refutations Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Automated theorem proving Formal methods Logic in computer science ACL2 Lisp programming language Mathematical proof Isabelle Coq HOL Theoretical computer science Mathematical software Mathematics
856	Technical Data Sheet SCADE Display® KCGIECCertification Kits Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:41:09 Synchronous programming languages Formal methods Risk Esterel Kyoto Computer Gakuin IEC 61508 Software testing Safety Integrity Level Software development process Safety Esterel Technologies Hardware description languages
857	T HE EASST N EWSLETTER A Summary of: Rule Execution in Graph-Based Incremental Interactive Integration Tools Add to Reading List Source URL: www-i3.informatik.rwth-aachen.de Language: English - Date: 2009-05-27 10:53:22 Mathematics Formal methods Abstract state machines Model checking Applied mathematics Graph rewriting Theoretical computer science Graph theory
858	Microsoft Word - 11.Agile Methods Add to Reading List Source URL: agile.csc.ncsu.edu Language: English - Date: 2011-03-29 12:47:58 Software development process Software project management Formal methods Software requirements Extreme programming Acceptance testing Dynamic systems development method User story Crystal Clear Software development Software Agile software development
859	Implementing Systematic Requirements Management in a Large Software Development Programme Caroline Claus, Michael Freund, Michael Kaiser, Ralf Kneuper1 Transport-, Informatik- und Logistik-Consulting (TLC) GmbH Abstract Add to Reading List Source URL: www.kneuper.de Language: English - Date: 2005-04-20 11:37:55 Software requirements Systems engineering Formal methods Capability Maturity Model Information technology management Project management Requirements management Process area Quality assurance Software development Software Software development process
860	A Fully Verified Container Library? Nadia Polikarpova1?? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-04-16 04:52:13 Computing Theoretical computer science Logic in computer science Hardware verification languages Formal verification Eiffel Functional verification E Software verification Software engineering Object-oriented programming Formal methods